- Computerlogik
- Computerlogik f computer logic
Deutsch-Englisch Wörterbuch der Elektrotechnik und Elektronik. 2013.
Computerlogik
Look at other dictionaries:
Daniel Hillis — William Daniel „Danny“ Hillis (25. September 1956 in Baltimore, Maryland) ist ein US amerikanischer Computeringenieur und Erfinder, bekannt für seine Entwicklung von Parallelrechnern in den 1980er Jahren. Danny Hillis Inhaltsverzeichnis 1 … Deutsch Wikipedia
Danny Hillis — William Daniel „Danny“ Hillis (25. September 1956 in Baltimore, Maryland) ist ein US amerikanischer Computeringenieur und Erfinder, bekannt für seine Entwicklung von Parallelrechnern in den 1980er Jahren. Danny Hillis Inhaltsverzeichnis 1 … Deutsch Wikipedia
Research Institute for Symbolic Computation — Das Research Institute for Symbolic Computation, kurz RISC (Institut für Symbolisches Rechnen) ist ein Forschungsinstitut der Johannes Kepler Universität Linz. Es ist im Softwarepark Hagenberg in Hagenberg im Mühlkreis, Oberösterreich,… … Deutsch Wikipedia
Unifikation (Logik) — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat… … Deutsch Wikipedia
Unifikator — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Diese hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des PROLOG Interpreters… … Deutsch Wikipedia
W. Daniel Hillis — William Daniel „Danny“ Hillis (* 25. September 1956 in Baltimore, Maryland) ist ein US amerikanischer Computeringenieur und Erfinder, bekannt für seine Entwicklung von Parallelrechnern in den 1980er Jahren. Danny Hillis Inhaltsverzeichnis … Deutsch Wikipedia
William Daniel Hillis — William Daniel „Danny“ Hillis (25. September 1956 in Baltimore, Maryland) ist ein US amerikanischer Computeringenieur und Erfinder, bekannt für seine Entwicklung von Parallelrechnern in den 1980er Jahren. Danny Hillis Inhaltsverzeichnis 1 … Deutsch Wikipedia
